[[Topological group]] # Discrete subgroup A **discrete subgroup** $Z$ of a [[topological group]] $G$ is a [[subgroup]] $Z \leq G$ baring the [[discrete topology]] as a [[subspace topology|subspace]]. #m/def/group # --- #state/tidy | #lang/en | #SemBr